Semi-numerical Solution of Stochastic Process Algebra Models
نویسندگان
چکیده
A solution method for solving Markov chains for a class of stochastic process algebra terms is presented. The solution technique is based on a reformulation of the underlying continuous-time Markov chain (CTMC) in terms of semi-Markov processes. For the reformulation only local information about the processes running in parallel is needed, and it is therefore never necessary to generate the complete global state space of the CTMC. The method works for a xed number of sequential processes running in parallel and which all synchronize on the same global set of actions. The behaviour of the processes is expressed by the embedded Markov chain of a semi-Markov process and by distribution functions (exponomials) which describe the times between synchronizations. The solution method is exact, hence, the state space explosion problem for this class of processes has been solved. A distributed implementation of the solution technique is straightforward.
منابع مشابه
Semi-Numerical Solution of Stochastic Process Algebra Models using Semi-Markov Chains and Exponomial Distributions
متن کامل
A computational wavelet method for numerical solution of stochastic Volterra-Fredholm integral equations
A Legendre wavelet method is presented for numerical solutions of stochastic Volterra-Fredholm integral equations. The main characteristic of the proposed method is that it reduces stochastic Volterra-Fredholm integral equations into a linear system of equations. Convergence and error analysis of the Legendre wavelets basis are investigated. The efficiency and accuracy of the proposed method wa...
متن کاملNumerical Solution of Heun Equation Via Linear Stochastic Differential Equation
In this paper, we intend to solve special kind of ordinary differential equations which is called Heun equations, by converting to a corresponding stochastic differential equation(S.D.E.). So, we construct a stochastic linear equation system from this equation which its solution is based on computing fundamental matrix of this system and then, this S.D.E. is solved by numerically methods. Moreo...
متن کاملNumerical solution of second-order stochastic differential equations with Gaussian random parameters
In this paper, we present the numerical solution of ordinary differential equations (or SDEs), from each order especially second-order with time-varying and Gaussian random coefficients. We indicate a complete analysis for second-order equations in special case of scalar linear second-order equations (damped harmonic oscillators with additive or multiplicative noises). Making stochastic differe...
متن کاملUsing Markovian Process Algebra to Specify Interactions in Queueing Systems
The advantages of using stochastic process algebra to specify performance models are well-documented. There remains, however, a reluctance in some quarters to use process algebras; this is particularly the case amongst queueing theorists. This paper demonstrates the use of a Markovian process algebra to represent a wide range of queueing models. Moreover, it shows that the most common interacti...
متن کامل